reverse(L, RL):-reverse_aux(L, [], RL).
reverse_aux([], Acc, Acc).
reverse_aux([Head|Tail], Acc, RL):-reverse_aux(Tail, [Head|Acc], RL).
length([],0).
length([_|Tail], succ(X)):-length(Tail, X).
